finitely complete